Sparse identification of truncation errors

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Angular truncation errors in integrating nephelometry

Ideal integrating nephelometers integrate light scattered by particles over all directions. However, real nephelometers truncate light scattered in near-forward and near-backward directions below a certain truncation angle ~typically 7°!. This results in truncation errors, with the forward truncation error becoming important for large particles. Truncation errors are commonly calculated using M...

متن کامل

Parallel Algorithms for Balanced Truncation Model Reduction of Sparse Systems

We describe the parallelization of an efficient algorithm for balanced truncation that allows to reduce models with state-space dimension up to O(10). The major computational task in this approach is the solution of two large-scale sparse Lyapunov equations, performed via a coupled LR-ADI iteration with (super-)linear convergence. Experimental results on a cluster of Intel Xeon processors illus...

متن کامل

Smith-Type Methods for Balanced Truncation of Large Sparse Systems

The matrices P ∈ Rn×n and Q ∈ Rn×n are called the controllability and observability gramians, respectively. Under the assumptions that A is asymptotically stable, i.e. λi(A) ∈ C− (the open left half-plane), and that Σ is minimal (that is the pairs (A,B) and (C,A) are, respectively, controllable and observable), the gramians P, Q are unique and positive definite. In many applications, such as ci...

متن کامل

Truncation Errors in Two Che by she v Series Approximations

However, in attempting to find a suitable polynomial approximation to a general function fix), the integral occurring in equation (1.3) cannot be evaluated explicitly, and recourse has to be made to approximate methods for evaluating a„ . The most widely used method is the "curve-fitting" method described by Lanczos [1], and, in greater detail, by Clenshaw and Curtis [2]. There are two variatio...

متن کامل

Tackling Truncation Errors in CSL Model Checking through Bounding Semantics

Model checking aims to give exact answers to queries about a model’s execution but, in probabilistic model checking, ensuring exact answers might be difficult. Numerical iterative methods are heavily used in probabilistic model checking and errors caused by truncation may affect correctness. To tackle truncation errors, we investigate the bounding semantics of continuous stochastic logic for Ma...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Computational Physics

سال: 2019

ISSN: 0021-9991

DOI: 10.1016/j.jcp.2019.07.049